Enter the word for search

uninterpreted functions

Translations

неинтерпретированные функции

In formal logic, uninterpreted functions can be used to simplify expressions.

В формальной логике неинтерпретированные функции могут использоваться для упрощения выражений.